win32 theme: Add a hack that selects the right font on Windows 8

Someone needs to figure out why the default font is wrong.

diff --git a/gtk/theme/win32/gtk-win32-base.css b/gtk/theme/win32/gtk-win32-base.css
index ead3c574799cc7845e9a63f71e44c6b271b1e0b7..6e00067cfcc00ca3e1b9dffc554928a7dac83fc8 100644 (file)
--- a/gtk/theme/win32/gtk-win32-base.css
+++ b/gtk/theme/win32/gtk-win32-base.css
@@ -22,6 +22,9 @@
 
 .background,
 viewport {
+    /* XXX: This should be the default, but isn't?! */
+    font-family: "Segoe UI", Sans;
+    font-size: 9px;
     background-color: @bg_color;
     color: -gtk-win32-color(button, 18);
     border-color: shade (@bg_color, 0.6);